| 1. | Let I be an inductive set guaranteed by the Axiom of Infinity.
|
| 2. | One such system is ZFC with the axiom of infinity replaced by its negation.
|
| 3. | Similarly with the higher axioms of infinity.
|
| 4. | Therefore its existence is taken as an axiom & mdash; the axiom of infinity.
|
| 5. | His arguments only indicate that it cannot justify the axioms of infinity and power set.
|
| 6. | For existence, we will use the Axiom of Infinity combined with the Axiom schema of specification.
|
| 7. | I wonder, how and where-the axiom of infinity must be used by Computer science.
|
| 8. | Moreover, NFU remains relatively consistent when augmented with an axiom of infinity and the axiom of choice.
|
| 9. | In some formulations of ZF, the axiom of empty set is actually repeated in the axiom of infinity.
|
| 10. | Besides the axioms of infinity and power set, the axioms of pairing were used in the modern argument.
|